Lecture 7.1: OS Abstractions Processes ENInstructor: Randal Burns 19 February 2018 Department of Computer Science, Johns Hopkins University

Source URL: parallel.cs.jhu.edu

Chapter 8 Linked Data Query Processing based on Link Traversal Olaf Hartig University of Waterloo David R. Cheriton School of Computer Science

Source URL: olafhartig.de

Performance Modelling and Verification of Cloud-based Auto-Scaling Policies Alexandros Evangelidis, David Parker, Rami Bahsoon School of Computer Science University of Birmingham Birmingham, United Kingdom

Source URL: www.prismmodelchecker.org

Control Number:_______ Department of Electrical and Computer Engineering The University of Texas at Austin EE 306 Fall 2002 Yale Patt, Instructor TAs: Asad Bawa, Linda Bigelow, Mustafa Erwa, Lester Guillory, Kevin Major,

Source URL: users.ece.utexas.edu

Maintaining Program Understanding Issues, Tools, and Future Directions Thomas Vestdam and Kurt Nørmark Department of Computer Science, Aalborg University, Denmark {odin,normark}@cs.aau.dk

Source URL: people.cs.aau.dk

Eliminating Array Bound Checking Through Dependent Types* Frank Pfenning Department of Computer Science Carnegie Mellon University

Source URL: www.cs.bu.edu

MANET extensions to ns2 Andr´es Lagar Cavilla Department of Computer Science University of Toronto This is a set of software modules providing additional models for the simulation of multihop mob

Source URL: lagarcavilla.org

Detecting Traditional Packers, Decisively Denis Bueno, Kevin J. Compton, Karem A. Sakallah, and Michael Bailey Electrical Engineering and Computer Science Department University of Michigan {dlbueno,kjc,karem,mibailey}@um

Source URL: mdbailey.ece.illinois.edu

• Theoretical computer science
• Computability theory
• Theory of computation
• Mathematics
• Models of computation
• Turing machine
• Halting problem
• Undecidable problem
• Computability
• Reduction
• Random-access stored-program machine
• Algorithm

Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Mathematics
• Abstract algebra
• Algebra
• Constructible universe
• Lie algebras
• Lie groups
• Field theory
• CurryHoward correspondence
• Generalised Whitehead product

Quality of Service (QoS) for Asynchronous On-Chip Networks Tomaz Felicijan and Steve Furber Department of Computer Science The University of Manchester Oxford Road, Manchester, M13 9PL, UK {felicijt,sfurber}@cs.man.ac.uk

Source URL: apt.cs.manchester.ac.uk